λβ↓QI∀8(α`¬(≡@
 L@β0↓pπ@λα␈␈X␈}␈␈Xα@P␈␈p↓ ␈␈p∨␈`↓ ␈␈p∨␈`↓@␈␈p∨␈@↓ ␈␈p∨␈@↓`␈␈p∨␈@↓@␈␈p∨␈@↓`␈␈p∨␈ ↓ ␈␈p∨␈ ↓↓␈␈p∨␈ ↓`␈␈p∨␈ ↓↓␈␈p∨␈ ↓@␈␈p∨␈ ↓↓␈␈p∨␈ ↓`␈␈p∨␈ ↓↓␈␈p∨␈↓ ␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓`␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓@␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓`␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨}`↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓`␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓@␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓`␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}@↓ ␈␈p∨}@↓@␈␈p∨}@↓`␈␈p∨}@↓↓␈␈p∨}@↓↓ ␈␈p∨}@↓↓@␈␈p∨}@↓↓`␈␈p∨} ↓ ␈␈p∨} ↓@␈␈p∨} ↓`␈␈p∨} ↓↓␈␈p∨} ↓↓ ␈␈p∨} ↓↓@␈␈p∨} ↓↓`␈␈p∨} ↓α␈␈p∨}↓ ␈␈p∨}↓@␈␈p∨}↓`␈␈p∨}↓↓␈␈p∨}↓↓ ␈␈p∨}↓↓@␈␈p∨}↓↓`␈␈p∨}↓α␈␈p∨}↓α ␈␈p∨⎇`↓ ␈␈p∨⎇`↓@␈␈p∨⎇`↓`␈␈p∨⎇`↓↓␈␈p∨⎇`↓↓ ␈␈p∨⎇`↓↓@␈␈p∨⎇`↓↓`␈␈p∨⎇`↓α␈␈p∨⎇`↓α ␈␈p∨⎇`↓α@␈␈p∨⎇@↓ ␈␈p∨⎇@↓@␈␈p∨⎇@↓`␈␈p∨⎇@↓↓␈␈p∨⎇@↓↓ ␈␈p∨⎇@↓↓@␈␈p∨⎇@↓↓`␈␈p∨⎇@↓α␈␈p∨⎇@↓α ␈␈p∨⎇@↓α@␈␈p∨⎇@↓α`␈␈p∨⎇ ↓ ␈␈p∨⎇ ↓@␈␈p∨⎇ ↓`␈␈p∨⎇ ↓↓␈␈p∨⎇ ↓↓ ␈␈p∨⎇ ↓↓@␈␈p∨⎇ ↓↓`␈␈p∨⎇ ↓α␈␈p∨⎇ ↓α ␈␈p∨⎇ ↓α@␈␈p∨⎇ ↓α`␈␈p∨⎇ ↓β↓␈␈h∨⎇ αββ␈␈H∨⎇ ∧β∂0⊂⊂ ⊂@⊂`⊃⊃ ⊃@⊃`∩∩ ∩@∩`∪∪ ∪@∪`∀∀ ∀@∀`∃∃ ∃@∃`⊗⊗ ⊗@⊗`↔↔ ↔@↔`__ _@_`→→ →@→`~~ ~@~`≠≠ ≠@≠`≤≤ ≤@≤`≥≥ ≥@≥`≡≡ ≡@≡`∨∨ ∨@∨`    @ `!! !@!`"" "@"`## #@#`$$ $@$`%% %@%`&& &@&`'' '@'`(( (@(`)) )@)`** *@*`++ +@+`,, ,@,`-- -@-`.. ␈⎇@H∨G⎇␈x␈␈␈␈x␈␈oxx`␈␈_␈␈_␈}_␈␈_␈⎇_␈}_␈⎇_␈␈_␈|_␈⎇_␈|_␈}_␈|_␈⎇_␈|_␈␈_␈{_␈|_␈{_␈⎇_␈{_␈|_␈{_␈}_␈{_␈|_␈{_␈⎇_␈{_␈|_␈{_␈␈_␈z_␈{_␈z_␈|_␈z_␈{_␈z_␈⎇_␈z_␈{_␈z_␈|_␈z_␈{_␈z_␈}_␈z_␈{_␈z_␈|_␈z_␈{_␈z_␈⎇_␈z_␈{_␈z_␈|_␈z_␈{_␈z_␈␈_␈}_␈⎇_␈|_␈{_␈z_␈y_␈␈_␈}_␈⎇_␈|_␈{_␈z_␈y_␈x_␈␈_␈}_␈⎇_␈|_␈{_␈z_␈y_␈x_␈w_␈␈_␈}_␈⎇_␈|_␈{_␈z_␈y_␈x_␈w_␈v_␈␈_␈}_␈⎇_␈|_␈{_␈z_␈y_␈x_␈w_␈v_␈u_␈␈_␈}_␈⎇_␈|_␈{_␈z_␈y_␈x_␈w_␈v_␈u_␈t_␈t8␈tx